On implicational bases of closure systems with unique critical sets
نویسندگان
چکیده
منابع مشابه
On implicational bases of closure systems with unique critical sets
We show that every optimum basis of a finite closure system, in D. Maier’s sense, is also right-side optimum, which is a parameter of a minimum CNF representation of a Horn Boolean function. New parameters for the size of the binary part are also established. We introduce the K-basis of a general closure system, which is a refinement of the canonical basis of V. Duquenne and J.L. Guigues, and d...
متن کاملAverage Size of Implicational Bases
Implicational bases are objects of interest in formal concept analysis and its applications. Unfortunately, even the smallest base, the Duquenne-Guigues base, has an exponential size in the worst case. In this paper, we use results on the average number of minimal transversals in random hypergraphs to show that the base of proper premises is, on average, of quasi-polynomial size.
متن کاملThe Prime Stems of Rooted Circuits of Closure Spaces and Minimum Implicational Bases
A rooted circuit is firstly introduced for convex geometries (antimatroids). We generalize it for closure systems or equivalently for closure operators. A rooted circuit is a specific type of a pair (X, e) of a subset X, called a stem, and an element e 6∈ X, called a root. We introduce a notion called a ‘prime stem,’ which plays the key role in this article. Every prime stem is shown to be a ps...
متن کاملBases of closure systems over residuated lattices
Article history: Received 15 January 2015 Received in revised form 4 June 2015 Accepted 26 July 2015 Available online 7 August 2015
متن کاملCharacterizations of Fuzzy Closure Systems on L-ordered Sets
In this paper, we present equivalent characterizations of L-closure systems on lower bounded complete L-ordered sets and complete L-lattices, respectively. These results demonstrate the feasibility of notion of fuzzy closure system developed in our previous work (L.-K. Guo, G.-Q. Zhang, Q.-G. Li: Fuzzy closure systems on L-ordered sets. Math. Log. Quart. 57 (3) (2011), 281-291.). Also we develo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2014
ISSN: 0166-218X
DOI: 10.1016/j.dam.2013.08.033